Buy Used and New Reiner Hähnle Books

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures: 7866 (Lecture Notes in Computer Science)

by Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue

ISBN 13: 9783642406140

Format: Paperback (252 pages)
Publisher: Springer
Published: 26 Aug 2013

Save for later

Deductive Software Verification – The KeY Book: From Theory to Practice: 10001 (Lecture Notes in Computer Science)

by Wolfgang Ahrendt,Bernhard Beckert,Richard Bubel,Reiner Hähnle,Peter H. Schmitt,Mattias Ulbrich

ISBN 13: 9783319498119

Format: Paperback (736 pages)
Publisher: Springer
Published: 21 Dec 2016

Save for later

Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, ... 11026 (Lecture Notes in Computer Science)

by Amel Bennaceur, Reiner Hähnle, Karl Meinke

ISBN 13: 9783319965611

Format: Paperback (268 pages)
Publisher: Springer
Published: 31 Aug 2018

Save for later

Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and ... 11424 (Lecture Notes in Computer Science)

by Reiner Hähnle,Wil van der Aalst

ISBN 13: 9783030167219

Format: Paperback (460 pages)
Publisher: Springer
Published: 04 Apr 2019

Save for later

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ... in Computer and Information Science)

by Reiner Hähnle,Jens Knoop,Tiziana Margaria,Dietmar Schreiner,Bernhard Steffen

ISBN 13: 9783642347801

Format: Paperback (276 pages)
Publisher: Springer
Published: 12 Oct 2012

Save for later

Handbook of Tableau Methods

by Marcello D'Agostino,Dov M. Gabbay,Reiner Hähnle

ISBN 13: 9780792356271

Format: Illustrated (684 pages)
Publisher: Springer
Published: 31 Mar 1999

Save for later